$\forall$$g$:OCMon, $a$, $b$:$\mid$$g$$\mid$. ($a$ $<$ $b$) $\vee$ ($a$ = $b$) $\vee$ ($b$ $<$ $a$)